<html>
<head><meta charset="utf-8"><title>C++ is faster and safer than Rust!#$!#$ · wg-secure-code · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/146229-wg-secure-code/index.html">wg-secure-code</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/146229-wg-secure-code/topic/C.2B.2B.20is.20faster.20and.20safer.20than.20Rust!.23.24!.23.24.html">C++ is faster and safer than Rust!#$!#$</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="197085091"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146229-wg-secure-code/topic/C%2B%2B%20is%20faster%20and%20safer%20than%20Rust%21%23%24%21%23%24/near/197085091" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tony Arcieri <a href="https://rust-lang.github.io/zulip_archive/stream/146229-wg-secure-code/topic/C.2B.2B.20is.20faster.20and.20safer.20than.20Rust!.23.24!.23.24.html#197085091">(May 10 2020 at 23:26)</a>:</h4>
<p>lol what a clickbait headline, but a fun article <a href="https://www.viva64.com/en/b/0733/" title="https://www.viva64.com/en/b/0733/">https://www.viva64.com/en/b/0733/</a></p>



<a name="197548456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146229-wg-secure-code/topic/C%2B%2B%20is%20faster%20and%20safer%20than%20Rust%21%23%24%21%23%24/near/197548456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146229-wg-secure-code/topic/C.2B.2B.20is.20faster.20and.20safer.20than.20Rust!.23.24!.23.24.html#197548456">(May 14 2020 at 12:59)</a>:</h4>
<p>wow, I am quite shocked that apparently even some C++ committee members do not understand UB</p>



<a name="197548979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146229-wg-secure-code/topic/C%2B%2B%20is%20faster%20and%20safer%20than%20Rust%21%23%24%21%23%24/near/197548979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146229-wg-secure-code/topic/C.2B.2B.20is.20faster.20and.20safer.20than.20Rust!.23.24!.23.24.html#197548979">(May 14 2020 at 13:03)</a>:</h4>
<blockquote>
<p>As a practical use of this model, its authors proved the correctness of some primitives of the standard library, including Mutex, RwLock, and thread::spawn, all of which use C functions. Therefore, you can't accidentally share a variable between threads without synchronization primitives in Rust; and if you use Mutex from the standard library, the variable will always be accessed correctly even though their implementation relies on C functions. </p>
</blockquote>
<p>what the post says about my work (RustBelt) here isn't entirely correct... we haven't actually proven the correctness of any C functions but models of them</p>



<a name="197549168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146229-wg-secure-code/topic/C%2B%2B%20is%20faster%20and%20safer%20than%20Rust%21%23%24%21%23%24/near/197549168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146229-wg-secure-code/topic/C.2B.2B.20is.20faster.20and.20safer.20than.20Rust!.23.24!.23.24.html#197549168">(May 14 2020 at 13:04)</a>:</h4>
<p>(couldn't find a reddit thread or another discussion venue for this post unfortunately)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>